18 research outputs found

    How efficient is an integrative approach in archaeological geophysics? Comparative case studies from Neolithic settlements in Thessaly (Central Greece)

    Get PDF
    The geophysical prospection of Neolithic tells imposes specific challenges due to the preservation and nature of the architectural context and the multiple, usually disturbed, soil strata. Contrary to the usual application of a single method, this paper deals with the advantages of using an integrated geophysical approach through the employment of various methodologies to map the Neolithic cul-tural and environmental landscape of Thessalian tells (magoules) in Central Greece. The success and failure of each method in resolving the various features of the magoules are discussed in detail, and as a whole, they demonstrate the benefits of a manifold geophysical prospection of the sites

    A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

    Get PDF
    The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Logic (CLL) for correct-by-construction resource-based process composition, with guaranteed deadlock freedom, systematic resource accounting, and concurrent execution. We introduce algorithms to automate the necessary inference steps for binary compositions of processes in parallel, conditionally, and in sequence. We combine decision procedures and heuristics to achieve intuitive and practically useful compositions in an applied setting.Comment: Post-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326). arXiv admin note: substantial text overlap with arXiv:1803.0261

    Workflow Modelling of Burns Care Protocols

    No full text
    No abstract available

    Sister Mary Joseph's nodule: Three case reports

    No full text
    Background: An umbilical metastatic lesion is called 'Sister Mary Joseph's nodule'. It is an uncommon clinical or radiographic finding, and it is rare as the first sign of a malignant disease. Case presentation: We report three cases of Sister Mary Joseph's nodule. In the three cases presented, the primary tumor was an adenocarcinona of the sigmoid colon, a carcinoma of the bladder, and an adenocarcinoma of the gallbladder, respectively. Conclusion: The differential diagnosis of an umbilical lesion should always include metastatic disease apart from benign lesions and primary neoplasms. © 2008 Larentzakis et al; licensee BioMed Central Ltd
    corecore